Качество:

Lean - инструмент интерактивного доказательства теорем. Это языки программирования занимает 358-е место в глобальном рейтинге языков программирования и 316-е место в рейтинге языков программирования в Английской Википедии. Статья «Lean (proof assistant)» в английской Википедии имеет 41.4 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 28 примечаний и 11 разделов. Эта статья имеет наилучшее качество в китайской Википедии. Однако, эта статья наиболее популярна в текущей (английской) языковой версии.
Достижения за всё время:
Английская Википедия:
Глобальная Википедия:
В июне 2025 статья «Lean (proof assistant)» была редактирована 4 авторами в английской Википедии и исправлялась 9 авторами во всех языковых версиях.
С момента создания статьи «Lean (proof assistant)» ее содержимое было создано 66 зарегистрированными пользователями английской Википедии и редактировано 131 зарегистрированными пользователями Википедии во всех языковых версиях.
Статья «Lean (proof assistant)» находится на 316-м месте в локальном рейтинге языков программирования в английской Википедии
и на 358-м месте в глобальном рейтинге языков программирования за всё время.
Эта статья цитируется 350 раз в английской Википедии и цитируется 493 раз во всех языках.
Наивысший рейтинг по интересам авторов с 2001 года:
- Локальный (Английский): №18174 в октябре 2023 года
- Глобальный: №28697 в июне 2024 года
Самый высокий рейтинг популярности с 2008 года:
- Локальный (Английский): №82170 в июне 2025 года
- Глобальный: №114703 в июне 2025 года
Для данной статьи найдено 14 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).
Данные по состоянию на 1 июля 2025 года.
В таблице ниже показаны языковые версии статьи с наилучшим качеством.